منابع مشابه
Nilpotent Groups
The articles [2], [3], [4], [6], [7], [5], [8], [9], [10], and [1] provide the notation and terminology for this paper. For simplicity, we use the following convention: x is a set, G is a group, A, B, H, H1, H2 are subgroups of G, a, b, c are elements of G, F is a finite sequence of elements of the carrier of G, and i, j are elements of N. One can prove the following propositions: (1) ab = a · ...
متن کاملPseudocomplete Nilpotent Groups
Scmicomplctc nilpotcnt groups, that is, nilpotent groups with no outer automorphisms, have been of interest for many years. In this paper pscudocomplete nilpotent groups, that is, nilpotent groups in which the automorphism group and the inner automorphism group arc isomorphic (not equal), are constructed. When suitable conditions are placed on the pseudocomplete nilpotent group, the quotient of...
متن کاملLocally Nilpotent Linear Groups
This article examines aspects of the theory of locally nilpotent linear groups. We also present a new classification result for locally nilpotent linear groups over an arbitrary field F. 1. Why Locally Nilpotent Linear Groups? Linear (matrix) groups are a commonly used concrete representation of groups. The first investigations of linear groups were undertaken in the second half of the 19th cen...
متن کاملNilpotent Singer Groups
Let N be a nilpotent group normal in a group G. Suppose that G acts transitively upon the points of a finite non-Desarguesian projective plane P. We prove that, if P has square order, then N must act semi-regularly on P. In addition we prove that if a finite non-Desarguesian projective plane P admits more than one nilpotent group which is regular on the points of P then P has non-square order a...
متن کاملHomotopy Nilpotent Groups
We study the connection between the Goodwillie tower of the identity and the lower central series of the loop group on connected spaces. We define the simplicial theory of homotopy n-nilpotent groups. This notion interpolates between infinite loop spaces and loop spaces. We prove that the set-valued algebraic theory obtained by applying π0 is the theory of ordinary n-nilpotent groups and that t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2010
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-010-0007-9